3.1026 \(\int \frac{\sqrt{x} (A+B x)}{\left (a+b x+c x^2\right )^3} \, dx\)

Optimal. Leaf size=426 \[ -\frac{\sqrt{x} (-2 a B-x (b B-2 A c)+A b)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}-\frac{\sqrt{x} \left (-A \left (8 a b c+b^3\right )+c x \left (12 a b B-A \left (20 a c+b^2\right )\right )+a B \left (7 b^2-4 a c\right )\right )}{4 a \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}+\frac{\sqrt{c} \left (A \left (b^2 \sqrt{b^2-4 a c}+20 a c \sqrt{b^2-4 a c}-52 a b c+b^3\right )+6 a B \left (-2 b \sqrt{b^2-4 a c}+4 a c+3 b^2\right )\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{4 \sqrt{2} a \left (b^2-4 a c\right )^{5/2} \sqrt{b-\sqrt{b^2-4 a c}}}-\frac{\sqrt{c} \left (-A \left (20 a c+b^2\right )+\frac{A \left (b^3-52 a b c\right )+6 a B \left (4 a c+3 b^2\right )}{\sqrt{b^2-4 a c}}+12 a b B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{4 \sqrt{2} a \left (b^2-4 a c\right )^2 \sqrt{\sqrt{b^2-4 a c}+b}} \]

[Out]

-(Sqrt[x]*(A*b - 2*a*B - (b*B - 2*A*c)*x))/(2*(b^2 - 4*a*c)*(a + b*x + c*x^2)^2)
- (Sqrt[x]*(a*B*(7*b^2 - 4*a*c) - A*(b^3 + 8*a*b*c) + c*(12*a*b*B - A*(b^2 + 20
*a*c))*x))/(4*a*(b^2 - 4*a*c)^2*(a + b*x + c*x^2)) + (Sqrt[c]*(6*a*B*(3*b^2 + 4*
a*c - 2*b*Sqrt[b^2 - 4*a*c]) + A*(b^3 - 52*a*b*c + b^2*Sqrt[b^2 - 4*a*c] + 20*a*
c*Sqrt[b^2 - 4*a*c]))*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b - Sqrt[b^2 - 4*a*c
]]])/(4*Sqrt[2]*a*(b^2 - 4*a*c)^(5/2)*Sqrt[b - Sqrt[b^2 - 4*a*c]]) - (Sqrt[c]*(1
2*a*b*B - A*(b^2 + 20*a*c) + (6*a*B*(3*b^2 + 4*a*c) + A*(b^3 - 52*a*b*c))/Sqrt[b
^2 - 4*a*c])*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b + Sqrt[b^2 - 4*a*c]]])/(4*S
qrt[2]*a*(b^2 - 4*a*c)^2*Sqrt[b + Sqrt[b^2 - 4*a*c]])

_______________________________________________________________________________________

Rubi [A]  time = 2.4917, antiderivative size = 426, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.217 \[ -\frac{\sqrt{x} (-2 a B-x (b B-2 A c)+A b)}{2 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )^2}-\frac{\sqrt{x} \left (-A \left (8 a b c+b^3\right )+c x \left (12 a b B-A \left (20 a c+b^2\right )\right )+a B \left (7 b^2-4 a c\right )\right )}{4 a \left (b^2-4 a c\right )^2 \left (a+b x+c x^2\right )}+\frac{\sqrt{c} \left (A \left (b^2 \sqrt{b^2-4 a c}+20 a c \sqrt{b^2-4 a c}-52 a b c+b^3\right )+6 a B \left (-2 b \sqrt{b^2-4 a c}+4 a c+3 b^2\right )\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{4 \sqrt{2} a \left (b^2-4 a c\right )^{5/2} \sqrt{b-\sqrt{b^2-4 a c}}}-\frac{\sqrt{c} \left (-A \left (20 a c+b^2\right )+\frac{A \left (b^3-52 a b c\right )+6 a B \left (4 a c+3 b^2\right )}{\sqrt{b^2-4 a c}}+12 a b B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{4 \sqrt{2} a \left (b^2-4 a c\right )^2 \sqrt{\sqrt{b^2-4 a c}+b}} \]

Antiderivative was successfully verified.

[In]  Int[(Sqrt[x]*(A + B*x))/(a + b*x + c*x^2)^3,x]

[Out]

-(Sqrt[x]*(A*b - 2*a*B - (b*B - 2*A*c)*x))/(2*(b^2 - 4*a*c)*(a + b*x + c*x^2)^2)
- (Sqrt[x]*(a*B*(7*b^2 - 4*a*c) - A*(b^3 + 8*a*b*c) + c*(12*a*b*B - A*(b^2 + 20
*a*c))*x))/(4*a*(b^2 - 4*a*c)^2*(a + b*x + c*x^2)) + (Sqrt[c]*(6*a*B*(3*b^2 + 4*
a*c - 2*b*Sqrt[b^2 - 4*a*c]) + A*(b^3 - 52*a*b*c + b^2*Sqrt[b^2 - 4*a*c] + 20*a*
c*Sqrt[b^2 - 4*a*c]))*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b - Sqrt[b^2 - 4*a*c
]]])/(4*Sqrt[2]*a*(b^2 - 4*a*c)^(5/2)*Sqrt[b - Sqrt[b^2 - 4*a*c]]) - (Sqrt[c]*(1
2*a*b*B - A*(b^2 + 20*a*c) + (6*a*B*(3*b^2 + 4*a*c) + A*(b^3 - 52*a*b*c))/Sqrt[b
^2 - 4*a*c])*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b + Sqrt[b^2 - 4*a*c]]])/(4*S
qrt[2]*a*(b^2 - 4*a*c)^2*Sqrt[b + Sqrt[b^2 - 4*a*c]])

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((B*x+A)*x**(1/2)/(c*x**2+b*x+a)**3,x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [A]  time = 3.46649, size = 436, normalized size = 1.02 \[ \frac{1}{8} \left (\frac{4 \sqrt{x} (B (2 a+b x)-A (b+2 c x))}{\left (b^2-4 a c\right ) (a+x (b+c x))^2}+\frac{2 \sqrt{x} \left (A \left (8 a b c+20 a c^2 x+b^3+b^2 c x\right )+a B \left (4 a c-7 b^2-12 b c x\right )\right )}{a \left (b^2-4 a c\right )^2 (a+x (b+c x))}+\frac{\sqrt{2} \sqrt{c} \left (A \left (b^2 \sqrt{b^2-4 a c}+20 a c \sqrt{b^2-4 a c}-52 a b c+b^3\right )+6 a B \left (-2 b \sqrt{b^2-4 a c}+4 a c+3 b^2\right )\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{a \left (b^2-4 a c\right )^{5/2} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{2} \sqrt{c} \left (A \left (b^2 \sqrt{b^2-4 a c}+20 a c \sqrt{b^2-4 a c}+52 a b c-b^3\right )-6 a B \left (2 b \sqrt{b^2-4 a c}+4 a c+3 b^2\right )\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{a \left (b^2-4 a c\right )^{5/2} \sqrt{\sqrt{b^2-4 a c}+b}}\right ) \]

Antiderivative was successfully verified.

[In]  Integrate[(Sqrt[x]*(A + B*x))/(a + b*x + c*x^2)^3,x]

[Out]

((4*Sqrt[x]*(B*(2*a + b*x) - A*(b + 2*c*x)))/((b^2 - 4*a*c)*(a + x*(b + c*x))^2)
+ (2*Sqrt[x]*(a*B*(-7*b^2 + 4*a*c - 12*b*c*x) + A*(b^3 + 8*a*b*c + b^2*c*x + 20
*a*c^2*x)))/(a*(b^2 - 4*a*c)^2*(a + x*(b + c*x))) + (Sqrt[2]*Sqrt[c]*(6*a*B*(3*b
^2 + 4*a*c - 2*b*Sqrt[b^2 - 4*a*c]) + A*(b^3 - 52*a*b*c + b^2*Sqrt[b^2 - 4*a*c]
+ 20*a*c*Sqrt[b^2 - 4*a*c]))*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b - Sqrt[b^2
- 4*a*c]]])/(a*(b^2 - 4*a*c)^(5/2)*Sqrt[b - Sqrt[b^2 - 4*a*c]]) + (Sqrt[2]*Sqrt[
c]*(-6*a*B*(3*b^2 + 4*a*c + 2*b*Sqrt[b^2 - 4*a*c]) + A*(-b^3 + 52*a*b*c + b^2*Sq
rt[b^2 - 4*a*c] + 20*a*c*Sqrt[b^2 - 4*a*c]))*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sq
rt[b + Sqrt[b^2 - 4*a*c]]])/(a*(b^2 - 4*a*c)^(5/2)*Sqrt[b + Sqrt[b^2 - 4*a*c]]))
/8

_______________________________________________________________________________________

Maple [B]  time = 0.239, size = 8510, normalized size = 20. \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((B*x+A)*x^(1/2)/(c*x^2+b*x+a)^3,x)

[Out]

result too large to display

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \frac{{\left ({\left (b^{3} c^{2} - 16 \, a b c^{3}\right )} A + 3 \,{\left (a b^{2} c^{2} + 4 \, a^{2} c^{3}\right )} B\right )} x^{\frac{9}{2}} +{\left ({\left (2 \, b^{4} c - 31 \, a b^{2} c^{2} + 20 \, a^{2} c^{3}\right )} A + 6 \,{\left (a b^{3} c + 2 \, a^{2} b c^{2}\right )} B\right )} x^{\frac{7}{2}} +{\left ({\left (b^{5} - 12 \, a b^{3} c - 4 \, a^{2} b c^{2}\right )} A +{\left (3 \, a b^{4} - a^{2} b^{2} c + 28 \, a^{3} c^{2}\right )} B\right )} x^{\frac{5}{2}} +{\left (3 \,{\left (a b^{4} - 9 \, a^{2} b^{2} c + 12 \, a^{3} c^{2}\right )} A +{\left (a^{2} b^{3} + 8 \, a^{3} b c\right )} B\right )} x^{\frac{3}{2}}}{4 \,{\left (a^{4} b^{4} - 8 \, a^{5} b^{2} c + 16 \, a^{6} c^{2} +{\left (a^{2} b^{4} c^{2} - 8 \, a^{3} b^{2} c^{3} + 16 \, a^{4} c^{4}\right )} x^{4} + 2 \,{\left (a^{2} b^{5} c - 8 \, a^{3} b^{3} c^{2} + 16 \, a^{4} b c^{3}\right )} x^{3} +{\left (a^{2} b^{6} - 6 \, a^{3} b^{4} c + 32 \, a^{5} c^{3}\right )} x^{2} + 2 \,{\left (a^{3} b^{5} - 8 \, a^{4} b^{3} c + 16 \, a^{5} b c^{2}\right )} x\right )}} + \int -\frac{{\left ({\left (b^{3} c - 16 \, a b c^{2}\right )} A + 3 \,{\left (a b^{2} c + 4 \, a^{2} c^{2}\right )} B\right )} x^{\frac{3}{2}} +{\left ({\left (b^{4} - 17 \, a b^{2} c - 20 \, a^{2} c^{2}\right )} A + 3 \,{\left (a b^{3} + 8 \, a^{2} b c\right )} B\right )} \sqrt{x}}{8 \,{\left (a^{3} b^{4} - 8 \, a^{4} b^{2} c + 16 \, a^{5} c^{2} +{\left (a^{2} b^{4} c - 8 \, a^{3} b^{2} c^{2} + 16 \, a^{4} c^{3}\right )} x^{2} +{\left (a^{2} b^{5} - 8 \, a^{3} b^{3} c + 16 \, a^{4} b c^{2}\right )} x\right )}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)*sqrt(x)/(c*x^2 + b*x + a)^3,x, algorithm="maxima")

[Out]

1/4*(((b^3*c^2 - 16*a*b*c^3)*A + 3*(a*b^2*c^2 + 4*a^2*c^3)*B)*x^(9/2) + ((2*b^4*
c - 31*a*b^2*c^2 + 20*a^2*c^3)*A + 6*(a*b^3*c + 2*a^2*b*c^2)*B)*x^(7/2) + ((b^5
- 12*a*b^3*c - 4*a^2*b*c^2)*A + (3*a*b^4 - a^2*b^2*c + 28*a^3*c^2)*B)*x^(5/2) +
(3*(a*b^4 - 9*a^2*b^2*c + 12*a^3*c^2)*A + (a^2*b^3 + 8*a^3*b*c)*B)*x^(3/2))/(a^4
*b^4 - 8*a^5*b^2*c + 16*a^6*c^2 + (a^2*b^4*c^2 - 8*a^3*b^2*c^3 + 16*a^4*c^4)*x^4
+ 2*(a^2*b^5*c - 8*a^3*b^3*c^2 + 16*a^4*b*c^3)*x^3 + (a^2*b^6 - 6*a^3*b^4*c + 3
2*a^5*c^3)*x^2 + 2*(a^3*b^5 - 8*a^4*b^3*c + 16*a^5*b*c^2)*x) + integrate(-1/8*((
(b^3*c - 16*a*b*c^2)*A + 3*(a*b^2*c + 4*a^2*c^2)*B)*x^(3/2) + ((b^4 - 17*a*b^2*c
- 20*a^2*c^2)*A + 3*(a*b^3 + 8*a^2*b*c)*B)*sqrt(x))/(a^3*b^4 - 8*a^4*b^2*c + 16
*a^5*c^2 + (a^2*b^4*c - 8*a^3*b^2*c^2 + 16*a^4*c^3)*x^2 + (a^2*b^5 - 8*a^3*b^3*c
+ 16*a^4*b*c^2)*x), x)

_______________________________________________________________________________________

Fricas [A]  time = 8.85613, size = 9810, normalized size = 23.03 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)*sqrt(x)/(c*x^2 + b*x + a)^3,x, algorithm="fricas")

[Out]

1/8*(sqrt(1/2)*(a^3*b^4 - 8*a^4*b^2*c + 16*a^5*c^2 + (a*b^4*c^2 - 8*a^2*b^2*c^3
+ 16*a^3*c^4)*x^4 + 2*(a*b^5*c - 8*a^2*b^3*c^2 + 16*a^3*b*c^3)*x^3 + (a*b^6 - 6*
a^2*b^4*c + 32*a^4*c^3)*x^2 + 2*(a^2*b^5 - 8*a^3*b^3*c + 16*a^4*b*c^2)*x)*sqrt(-
(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*B*a^4 - 7*A^2*a^3*b)*c^3 + 40*
(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^2 + 5*(72*B^2*a^3*b^3 - 12*A*B
*a^2*b^4 - 7*A^2*a*b^5)*c + (a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6
*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((81*B^4*a^4 + 108*A*B^3*a^3*b +
54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*a^2*c^2 - 50*(9*A^2*B^2
*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b^8*c + 160*a^8*b^6*c^2
- 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))/(a^3*b^10 - 20*a^4*b^8*
c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5))*log(1/
2*sqrt(1/2)*(27*B^3*a^3*b^8 + 27*A*B^2*a^2*b^9 + 9*A^2*B*a*b^10 + A^3*b^11 + 640
0*(3*A^2*B*a^6 - 4*A^3*a^5*b)*c^5 - 64*(108*B^3*a^7 - 72*A*B^2*a^6*b + 66*A^2*B*
a^5*b^2 - 341*A^3*a^4*b^3)*c^4 + 16*(216*B^3*a^6*b^2 - 324*A*B^2*a^5*b^3 - 288*A
^2*B*a^4*b^4 - 427*A^3*a^3*b^5)*c^3 + 20*(108*A*B^2*a^4*b^5 + 102*A^2*B*a^3*b^6
+ 47*A^3*a^2*b^7)*c^2 - (216*B^3*a^4*b^6 + 396*A*B^2*a^3*b^7 + 267*A^2*B*a^2*b^8
+ 53*A^3*a*b^9)*c - (3*B*a^4*b^13 + A*a^3*b^14 + 40960*A*a^10*c^7 - 4096*(9*B*a
^10*b + 8*A*a^9*b^2)*c^6 + 1536*(28*B*a^9*b^3 + A*a^8*b^4)*c^5 - 6400*(3*B*a^8*b
^5 - A*a^7*b^6)*c^4 + 160*(24*B*a^7*b^7 - 17*A*a^6*b^8)*c^3 - 240*(B*a^6*b^9 - 2
*A*a^5*b^10)*c^2 - 2*(12*B*a^5*b^11 + 19*A*a^4*b^12)*c)*sqrt((81*B^4*a^4 + 108*A
*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*a^2*c^2 - 5
0*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b^8*c + 160*
a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))*sqrt(-(9*B^
2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*B*a^4 - 7*A^2*a^3*b)*c^3 + 40*(18*B
^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^2 + 5*(72*B^2*a^3*b^3 - 12*A*B*a^2*
b^4 - 7*A^2*a*b^5)*c + (a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*
c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((81*B^4*a^4 + 108*A*B^3*a^3*b + 54*A
^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*a^2*c^2 - 50*(9*A^2*B^2*a^3
+ 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b^8*c + 160*a^8*b^6*c^2 - 640
*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))/(a^3*b^10 - 20*a^4*b^8*c + 1
60*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)) + (10000*A^
4*a^3*c^5 - 15000*(2*A^3*B*a^3*b - A^4*a^2*b^2)*c^4 - 3*(432*B^4*a^5 - 3024*A*B^
3*a^4*b - 3312*A^2*B^2*a^3*b^2 + 3864*A^3*B*a^2*b^3 + 497*A^4*a*b^4)*c^3 - 5*(64
8*B^4*a^4*b^2 - 216*A*B^3*a^3*b^3 - 648*A^2*B^2*a^2*b^4 - 189*A^3*B*a*b^5 - 7*A^
4*b^6)*c^2 - 15*(27*B^4*a^3*b^4 + 27*A*B^3*a^2*b^5 + 9*A^2*B^2*a*b^6 + A^3*B*b^7
)*c)*sqrt(x)) - sqrt(1/2)*(a^3*b^4 - 8*a^4*b^2*c + 16*a^5*c^2 + (a*b^4*c^2 - 8*a
^2*b^2*c^3 + 16*a^3*c^4)*x^4 + 2*(a*b^5*c - 8*a^2*b^3*c^2 + 16*a^3*b*c^3)*x^3 +
(a*b^6 - 6*a^2*b^4*c + 32*a^4*c^3)*x^2 + 2*(a^2*b^5 - 8*a^3*b^3*c + 16*a^4*b*c^2
)*x)*sqrt(-(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*B*a^4 - 7*A^2*a^3*b
)*c^3 + 40*(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^2 + 5*(72*B^2*a^3*b
^3 - 12*A*B*a^2*b^4 - 7*A^2*a*b^5)*c + (a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^
2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((81*B^4*a^4 + 108*A*
B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*a^2*c^2 - 50
*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b^8*c + 160*a
^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))/(a^3*b^10 -
20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c
^5))*log(-1/2*sqrt(1/2)*(27*B^3*a^3*b^8 + 27*A*B^2*a^2*b^9 + 9*A^2*B*a*b^10 + A^
3*b^11 + 6400*(3*A^2*B*a^6 - 4*A^3*a^5*b)*c^5 - 64*(108*B^3*a^7 - 72*A*B^2*a^6*b
+ 66*A^2*B*a^5*b^2 - 341*A^3*a^4*b^3)*c^4 + 16*(216*B^3*a^6*b^2 - 324*A*B^2*a^5
*b^3 - 288*A^2*B*a^4*b^4 - 427*A^3*a^3*b^5)*c^3 + 20*(108*A*B^2*a^4*b^5 + 102*A^
2*B*a^3*b^6 + 47*A^3*a^2*b^7)*c^2 - (216*B^3*a^4*b^6 + 396*A*B^2*a^3*b^7 + 267*A
^2*B*a^2*b^8 + 53*A^3*a*b^9)*c - (3*B*a^4*b^13 + A*a^3*b^14 + 40960*A*a^10*c^7 -
4096*(9*B*a^10*b + 8*A*a^9*b^2)*c^6 + 1536*(28*B*a^9*b^3 + A*a^8*b^4)*c^5 - 640
0*(3*B*a^8*b^5 - A*a^7*b^6)*c^4 + 160*(24*B*a^7*b^7 - 17*A*a^6*b^8)*c^3 - 240*(B
*a^6*b^9 - 2*A*a^5*b^10)*c^2 - 2*(12*B*a^5*b^11 + 19*A*a^4*b^12)*c)*sqrt((81*B^4
*a^4 + 108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4
*a^2*c^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*
b^8*c + 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))
*sqrt(-(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*B*a^4 - 7*A^2*a^3*b)*c^
3 + 40*(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^2 + 5*(72*B^2*a^3*b^3 -
12*A*B*a^2*b^4 - 7*A^2*a*b^5)*c + (a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 -
640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((81*B^4*a^4 + 108*A*B^3*
a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*a^2*c^2 - 50*(9*
A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b^8*c + 160*a^8*b
^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))/(a^3*b^10 - 20*a
^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5))
+ (10000*A^4*a^3*c^5 - 15000*(2*A^3*B*a^3*b - A^4*a^2*b^2)*c^4 - 3*(432*B^4*a^5
- 3024*A*B^3*a^4*b - 3312*A^2*B^2*a^3*b^2 + 3864*A^3*B*a^2*b^3 + 497*A^4*a*b^4)
*c^3 - 5*(648*B^4*a^4*b^2 - 216*A*B^3*a^3*b^3 - 648*A^2*B^2*a^2*b^4 - 189*A^3*B*
a*b^5 - 7*A^4*b^6)*c^2 - 15*(27*B^4*a^3*b^4 + 27*A*B^3*a^2*b^5 + 9*A^2*B^2*a*b^6
+ A^3*B*b^7)*c)*sqrt(x)) + sqrt(1/2)*(a^3*b^4 - 8*a^4*b^2*c + 16*a^5*c^2 + (a*b
^4*c^2 - 8*a^2*b^2*c^3 + 16*a^3*c^4)*x^4 + 2*(a*b^5*c - 8*a^2*b^3*c^2 + 16*a^3*b
*c^3)*x^3 + (a*b^6 - 6*a^2*b^4*c + 32*a^4*c^3)*x^2 + 2*(a^2*b^5 - 8*a^3*b^3*c +
16*a^4*b*c^2)*x)*sqrt(-(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*B*a^4 -
7*A^2*a^3*b)*c^3 + 40*(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^2 + 5*(
72*B^2*a^3*b^3 - 12*A*B*a^2*b^4 - 7*A^2*a*b^5)*c - (a^3*b^10 - 20*a^4*b^8*c + 16
0*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((81*B^4*
a^4 + 108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*
a^2*c^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b
^8*c + 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))/
(a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4
- 1024*a^8*c^5))*log(1/2*sqrt(1/2)*(27*B^3*a^3*b^8 + 27*A*B^2*a^2*b^9 + 9*A^2*B*
a*b^10 + A^3*b^11 + 6400*(3*A^2*B*a^6 - 4*A^3*a^5*b)*c^5 - 64*(108*B^3*a^7 - 72*
A*B^2*a^6*b + 66*A^2*B*a^5*b^2 - 341*A^3*a^4*b^3)*c^4 + 16*(216*B^3*a^6*b^2 - 32
4*A*B^2*a^5*b^3 - 288*A^2*B*a^4*b^4 - 427*A^3*a^3*b^5)*c^3 + 20*(108*A*B^2*a^4*b
^5 + 102*A^2*B*a^3*b^6 + 47*A^3*a^2*b^7)*c^2 - (216*B^3*a^4*b^6 + 396*A*B^2*a^3*
b^7 + 267*A^2*B*a^2*b^8 + 53*A^3*a*b^9)*c + (3*B*a^4*b^13 + A*a^3*b^14 + 40960*A
*a^10*c^7 - 4096*(9*B*a^10*b + 8*A*a^9*b^2)*c^6 + 1536*(28*B*a^9*b^3 + A*a^8*b^4
)*c^5 - 6400*(3*B*a^8*b^5 - A*a^7*b^6)*c^4 + 160*(24*B*a^7*b^7 - 17*A*a^6*b^8)*c
^3 - 240*(B*a^6*b^9 - 2*A*a^5*b^10)*c^2 - 2*(12*B*a^5*b^11 + 19*A*a^4*b^12)*c)*s
qrt((81*B^4*a^4 + 108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^
4 + 625*A^4*a^2*c^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^1
0 - 20*a^7*b^8*c + 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*
a^11*c^5)))*sqrt(-(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*B*a^4 - 7*A^
2*a^3*b)*c^3 + 40*(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^2 + 5*(72*B^
2*a^3*b^3 - 12*A*B*a^2*b^4 - 7*A^2*a*b^5)*c - (a^3*b^10 - 20*a^4*b^8*c + 160*a^5
*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((81*B^4*a^4 +
108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 625*A^4*a^2*c
^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 20*a^7*b^8*c
+ 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*c^5)))/(a^3*
b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 102
4*a^8*c^5)) + (10000*A^4*a^3*c^5 - 15000*(2*A^3*B*a^3*b - A^4*a^2*b^2)*c^4 - 3*(
432*B^4*a^5 - 3024*A*B^3*a^4*b - 3312*A^2*B^2*a^3*b^2 + 3864*A^3*B*a^2*b^3 + 497
*A^4*a*b^4)*c^3 - 5*(648*B^4*a^4*b^2 - 216*A*B^3*a^3*b^3 - 648*A^2*B^2*a^2*b^4 -
189*A^3*B*a*b^5 - 7*A^4*b^6)*c^2 - 15*(27*B^4*a^3*b^4 + 27*A*B^3*a^2*b^5 + 9*A^
2*B^2*a*b^6 + A^3*B*b^7)*c)*sqrt(x)) - sqrt(1/2)*(a^3*b^4 - 8*a^4*b^2*c + 16*a^5
*c^2 + (a*b^4*c^2 - 8*a^2*b^2*c^3 + 16*a^3*c^4)*x^4 + 2*(a*b^5*c - 8*a^2*b^3*c^2
+ 16*a^3*b*c^3)*x^3 + (a*b^6 - 6*a^2*b^4*c + 32*a^4*c^3)*x^2 + 2*(a^2*b^5 - 8*a
^3*b^3*c + 16*a^4*b*c^2)*x)*sqrt(-(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(
4*A*B*a^4 - 7*A^2*a^3*b)*c^3 + 40*(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3
)*c^2 + 5*(72*B^2*a^3*b^3 - 12*A*B*a^2*b^4 - 7*A^2*a*b^5)*c - (a^3*b^10 - 20*a^4
*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sq
rt((81*B^4*a^4 + 108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4
+ 625*A^4*a^2*c^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10
- 20*a^7*b^8*c + 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a
^11*c^5)))/(a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a
^7*b^2*c^4 - 1024*a^8*c^5))*log(-1/2*sqrt(1/2)*(27*B^3*a^3*b^8 + 27*A*B^2*a^2*b^
9 + 9*A^2*B*a*b^10 + A^3*b^11 + 6400*(3*A^2*B*a^6 - 4*A^3*a^5*b)*c^5 - 64*(108*B
^3*a^7 - 72*A*B^2*a^6*b + 66*A^2*B*a^5*b^2 - 341*A^3*a^4*b^3)*c^4 + 16*(216*B^3*
a^6*b^2 - 324*A*B^2*a^5*b^3 - 288*A^2*B*a^4*b^4 - 427*A^3*a^3*b^5)*c^3 + 20*(108
*A*B^2*a^4*b^5 + 102*A^2*B*a^3*b^6 + 47*A^3*a^2*b^7)*c^2 - (216*B^3*a^4*b^6 + 39
6*A*B^2*a^3*b^7 + 267*A^2*B*a^2*b^8 + 53*A^3*a*b^9)*c + (3*B*a^4*b^13 + A*a^3*b^
14 + 40960*A*a^10*c^7 - 4096*(9*B*a^10*b + 8*A*a^9*b^2)*c^6 + 1536*(28*B*a^9*b^3
+ A*a^8*b^4)*c^5 - 6400*(3*B*a^8*b^5 - A*a^7*b^6)*c^4 + 160*(24*B*a^7*b^7 - 17*
A*a^6*b^8)*c^3 - 240*(B*a^6*b^9 - 2*A*a^5*b^10)*c^2 - 2*(12*B*a^5*b^11 + 19*A*a^
4*b^12)*c)*sqrt((81*B^4*a^4 + 108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*
b^3 + A^4*b^4 + 625*A^4*a^2*c^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)
*c)/(a^6*b^10 - 20*a^7*b^8*c + 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2
*c^4 - 1024*a^11*c^5)))*sqrt(-(9*B^2*a^2*b^5 + 6*A*B*a*b^6 + A^2*b^7 - 240*(4*A*
B*a^4 - 7*A^2*a^3*b)*c^3 + 40*(18*B^2*a^4*b - 48*A*B*a^3*b^2 + 7*A^2*a^2*b^3)*c^
2 + 5*(72*B^2*a^3*b^3 - 12*A*B*a^2*b^4 - 7*A^2*a*b^5)*c - (a^3*b^10 - 20*a^4*b^8
*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b^2*c^4 - 1024*a^8*c^5)*sqrt((
81*B^4*a^4 + 108*A*B^3*a^3*b + 54*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4 + 6
25*A^4*a^2*c^2 - 50*(9*A^2*B^2*a^3 + 6*A^3*B*a^2*b + A^4*a*b^2)*c)/(a^6*b^10 - 2
0*a^7*b^8*c + 160*a^8*b^6*c^2 - 640*a^9*b^4*c^3 + 1280*a^10*b^2*c^4 - 1024*a^11*
c^5)))/(a^3*b^10 - 20*a^4*b^8*c + 160*a^5*b^6*c^2 - 640*a^6*b^4*c^3 + 1280*a^7*b
^2*c^4 - 1024*a^8*c^5)) + (10000*A^4*a^3*c^5 - 15000*(2*A^3*B*a^3*b - A^4*a^2*b^
2)*c^4 - 3*(432*B^4*a^5 - 3024*A*B^3*a^4*b - 3312*A^2*B^2*a^3*b^2 + 3864*A^3*B*a
^2*b^3 + 497*A^4*a*b^4)*c^3 - 5*(648*B^4*a^4*b^2 - 216*A*B^3*a^3*b^3 - 648*A^2*B
^2*a^2*b^4 - 189*A^3*B*a*b^5 - 7*A^4*b^6)*c^2 - 15*(27*B^4*a^3*b^4 + 27*A*B^3*a^
2*b^5 + 9*A^2*B^2*a*b^6 + A^3*B*b^7)*c)*sqrt(x)) - 2*(3*B*a^2*b^2 + A*a*b^3 - (2
0*A*a*c^3 - (12*B*a*b - A*b^2)*c^2)*x^3 - (4*(B*a^2 + 7*A*a*b)*c^2 - (19*B*a*b^2
- 2*A*b^3)*c)*x^2 + 4*(3*B*a^3 - 4*A*a^2*b)*c + (5*B*a*b^3 - A*b^4 - 36*A*a^2*c
^2 + (16*B*a^2*b - 5*A*a*b^2)*c)*x)*sqrt(x))/(a^3*b^4 - 8*a^4*b^2*c + 16*a^5*c^2
+ (a*b^4*c^2 - 8*a^2*b^2*c^3 + 16*a^3*c^4)*x^4 + 2*(a*b^5*c - 8*a^2*b^3*c^2 + 1
6*a^3*b*c^3)*x^3 + (a*b^6 - 6*a^2*b^4*c + 32*a^4*c^3)*x^2 + 2*(a^2*b^5 - 8*a^3*b
^3*c + 16*a^4*b*c^2)*x)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x+A)*x**(1/2)/(c*x**2+b*x+a)**3,x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)*sqrt(x)/(c*x^2 + b*x + a)^3,x, algorithm="giac")

[Out]

Timed out